TAGs: solving addition